Lambda Calculus with Types (Perspectives in Logic)
by Henk Barendregt,Wil Dekkers,Richard Statman
ISBN 13: 9780521766142
Format: Illustrated (856 pages) Publisher: Cambridge University Press Published: 20 Jun 2013
Save for later